Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
171	Finding Bugs is Easy David Hovemeyer and William Pugh Dept. of Computer Science, University of Maryland College Park, MarylandUSA {daveho,pugh}@cs.umd.edu Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2006-01-12 04:56:57 Computing Software engineering Computer programming Formal methods Debugging Software bug FindBugs Assertion Java Synchronization Pointer
172	Presidents’ Welcome Fellow MORSians and National Security Analysts, With this Announcement and Call for Presentations (ACP), we begin formal preparation for the 84th Military Operations Research Society (MORS) Symposiu Add to Reading List Source URL: www.mors.org Language: English Military Operations Research Society Modeling and simulation Operations research United States Department of Defense Working group Knowledge Problem solving Science
173	Wrong side of the tracks: Big Data and Protected Categories Simon DeDeo∗ June 23, 2016 Abstract Add to Reading List Source URL: www.santafe.edu Language: English - Date: 2016-06-27 12:55:13 Science Formal sciences Philosophy Cybernetics Computational neuroscience Algorithm Mathematical logic Theoretical computer science Machine learning Causality Decision tree Artificial intelligence
174	An Ontology-based Method in Agent-based Modeling Kejin Cui Department of Geography, University at Buffalo, Buffalo, New York, USA In existing research, ontology has been widely applied in geographic Add to Reading List Source URL: www.ncgia.buffalo.edu Language: English - Date: 2016-05-18 12:38:25 Ontology Information science Knowledge representation Cognitive science Knowledge Technical communication Information Formal ontology Agent-based model Conceptual model Upper ontology Draft:Outline of ontologies
175	Science of Computer Programming–266 www.elsevier.nl/locate/scico Generation of components for software renovation factories from context-free grammars Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2003-02-26 03:26:46 Software engineering Software Computer programming Compiler construction Parser generators Programming language implementation Language workbench Formal languages Syntax Definition Formalism ASF+SDF Meta Environment Parsing SYNTAX
176	Resum´e Kristoffer Høgsbro Rose, Ph.D. , & (+SeptemberEmployment Add to Reading List Source URL: krisrose.net Language: English - Date: 2015-09-22 13:54:54 Computing Theoretical computer science Programming language theory Logic in computer science Formal languages Lambda calculus Functional languages Markup languages Explicit substitution International Conference on Rewriting Techniques and Applications XSLT Combinatory logic
177	MINING MUSICAL TRAITS OF SOCIAL FUNCTIONS IN NATIVE AMERICAN MUSIC Daniel Shanahan1 Kerstin Neubarth2 Darrell Conklin3,4 1 Add to Reading List Source URL: wp.nyu.edu Language: English - Date: 2016-08-16 16:20:28 Information science Information retrieval Music Music information retrieval International Society for Music Information Retrieval Multimedia Music technology Formal sciences Ethnomusicology Rhythm Data analysis Indigenous music of North America
178	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable 1.3.A-1 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:11 Software engineering Formal methods Computing Theoretical computer science Software testing Software quality Logic in computer science Software verification Formal verification Runtime verification Model checking Reliability engineering
179	OSSIA: TOWARDS A UNIFIED INTERFACE FOR SCORING TIME AND INTERACTION Jean-Michaël Celerier Blue Yeti Add to Reading List Source URL: tenor2015.tenor-conference.org Language: English - Date: 2015-05-26 15:55:56 Software engineering Concurrency Models of computation Constraint programming Diagrams Programming paradigms Formal methods Theoretical computer science Petri net Constraint logic programming Decomposition method
180	LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Theoretical computer science Mathematical logic Logic in computer science Automated theorem proving Proof assistants Formal methods Type theory Isabelle First-order logic Logic for Computable Functions Unification HOL

UPDATE